#define PANIC

#include <linux/kernel.h>
#include <linux/sched.h>

void panic(const char *s)
{
    printk("Kernel panic: %s\n", s);
    if (current == task[0])
        printk("In swapper task - not syncing\n");
    while (1);
}
